Nuprl Definition : kind-rename 0,22
kind-rename(ra;rt;k) == kindcase(k; a.locl(ra(a)); l,tg.rcv(l,rt(tg)) ) 
latex

Definitionsrcv(l,tg), locl(a), kindcase(k; a.f(a); l,t.g(l;t) ), kind-rename(ra;rt;k)
FDL editor aliaseskind-rename

origin